discrete math composition of functions